Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
101	SESSIONS, FROM TYPES TO PROGRAMMING LANGUAGES Vasco T Vasco Universidade Lisboa Behavioural Types Workshop 19 April 2011 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-03 04:15:49 Software engineering Type theory Theoretical computer science Data types Concurrent computing Π-calculus Programming language Actor model Communications protocol Computing Process calculi Computer science
102	Concurrency on and off the sensor network node Matthew C. Jadud, Christian L. Jacobsen, Damian J. Dimmich 1. INTRODUCTION Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Procedural programming languages Process calculi TinyOS Occam Transputer Transterpreter Communicating sequential processes Wireless sensor network Computing Concurrent computing Software engineering
103	Introduction to the Programming Language Occam By Dr. Daniel C. Hyde Department of Computer Science Bucknell University Add to Reading List Source URL: www.eg.bucknell.edu Language: English - Date: 1998-02-16 10:43:53 Procedural programming languages Occam Fellows of the Royal Society Source code Process calculi Transputer Communicating sequential processes David May Concurrent computing Computing Software engineering Computer programming
104	3 Modelling Distributed Systems A. Yonezawat and C. Hewitt Artificial Intelligence Laboratory Massachusetts Institute of Technology. USA Add to Reading List Source URL: aitopics.org Language: English - Date: 2015-01-25 23:22:56 Concurrent computing Inter-process communication Process calculi Message passing Distributed computing Parallel computing Actor model theory Indeterminacy in concurrent computation Actor model Concurrency Computing
105	Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:54:40 Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software
106	Understanding i. and Using Asynchronous Message Passing (Preliminary Version) Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:28:52 Inter-process communication Concurrent computing Logic in computer science Process calculi Actor model Message passing Predicate transformer semantics Communicating sequential processes Assertion Computing Computer programming Theoretical computer science
107	http://golang.org Thursday, July 22, 2010 Go Rob Pike Emerging Languages Add to Reading List Source URL: cdn.oreillystatic.com Language: English - Date: 2010-07-22 14:57:53 Concurrent computing Procedural programming languages Process calculi Communicating sequential processes Occam Go Parallel computing Thread Tony Hoare Computing Software engineering Computer programming
108	Communication models for services Niels Lohmann1,2 1 Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P. O. Box ,  MB Eindhoven, The Netherlands Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2010-03-25 14:33:05 Computing Business Process Execution Language Models of communication Asynchronous communication SMS Request-response Message passing Actor model and process calculi Communication Technology Behavior
109	COMPUTING SCIENCE What Can the pi-calculus Tell Us About the Mondex Purse System? Cliff B. Jones and Ken G. Pierce TECHNICAL REPORT SERIES Add to Reading List Source URL: eprint.ncl.ac.uk Language: English - Date: 2010-09-13 07:01:04 Technology Business Electronic commerce Embedded systems Theoretical computer science Π-calculus E Smart card Calculus Payment systems Process calculi Computing
110	PARTICIPANT RELEASE, WAIVER AND CONSENT NOTE: by signing this document you are giving up important legal rights, including the right to sue in case of personal injury. 1. Release Regarding Images: I, as the ‘PARTICIPAN Add to Reading List Source URL: www2.gnb.ca Language: English - Date: 2014-11-26 14:01:56 Process calculi Synchronization Use of performance-enhancing drugs in sport Internet privacy Human behavior Computer science Computing Concurrency Concurrency control Construction and Analysis of Distributed Processes

UPDATE